Nuprl Definition : es-local-pred
11,40
postcript
pdf
last(
P
) == (TERMOF{
es-interface-local-pred-bool
:ObjectId, 1:l, i:l}(
es
,
P
)).1
latex
clarification:
es-local-pred{i:l}(
es
;
P
) == (TERMOF{
es-interface-local-pred-bool
:ObjectId, 1:l, i:l}(
es
,
P
)).1
latex
Definitions
t
.1
,
f
(
a
)
FDL editor aliases
es-local-pred
origin